/**
 * @(#) MiniEditeur.java
 */

package receiver;

public interface MiniEditeur
{
	void copier( );
	
	void coller( );
	
	void selectionner( int debut, int fin );
	
	void saisirTexte( String texte );
	
	void couper( );
	
	
}
